Buy Used and New Adenilso Simao Books

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783642198281

Format: Paperback (299 pages)
Publisher: Springer
Published: 23 Mar 2011

Save for later

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783642250316

Format: Paperback (205 pages)
Publisher: Springer
Published: 28 Oct 2011
Other Format: Paperback

Save for later

Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings: 12545 (Lecture Notes in Computer Science, 12545)

by Violet Ka I Pun,Volker Stolz,Adenilso Simao

ISBN 13: 9783030642754

Format: Paperback (333 pages)
Publisher: Springer
Published: 25 Nov 2020

Save for later